ordered branch中文什么意思

例句与用法

1. Second , based on former logic theories , a improved formal model , mascl , is proposed in this chapter . mascl is a many - sorted first - order branching - time bdi logic , which can capture the requirements for representation mental states , acts , plans and social laws of multi - agent systems
   在已有的形式模型基础上，提出了多智能体系统的形式模型mascl ，该模型是一种多类的一阶分支时序模态逻辑bdi理论，综合了单智能体和多智能体的精神状态和动作规划表示，并体现了社会规范的约束作用。